Business process verification – finally a reality!
نویسندگان
چکیده
منابع مشابه
Business process verification - finally a reality!
ion rule Fusion of equivalent nets rule Elimination of self-loop transition rule Fig. 8. Reset Reduction rules (Please note that the figure does not capture all the requirements for some rules (i.e., if a transition cannot have a reset arc (double-headed arc) or a place cannot be reset, the figure will not show this.)
متن کاملBusiness Process Verification
Models of commercial systems reflect either the statical structure or the dynamic behavior of a system. The dynamic aspects are the business processes and their models. Whereas the static relations in a system may be expressed by Boolean logic, the dynamic activities and their temporal sequences ask for a better formalism, e.g. temporal logic. Temporal logic is based on Boolean logic extended b...
متن کاملFramework for Business Process Verification
There are numerous concepts and tools for modeling business processes and several academic approaches to verify business processes. However, most modeling tools don’t integrate the checking of the processes. The three-tier architecture of the Business Application Modeler (BAM) provides the graphical representation of business models and rules (presentation layer) as well as integrates a verific...
متن کاملA Hybrid Approach for Business Process Verification
Business Process Verification (BPV) works as one of the important functions in the emerging Business Process Management Systems. Current proposed approaches are not yet well applied because of the gap between formal models defined in the academia and informal models used in the industry. This paper attempts to propose a hybrid approach to solve this problem. XPDL will be used to describe busine...
متن کاملVerification of Business Process Integration Options
We propose a meta-meta framework architecture for supporting the behaviour based integration of two business processes. The meta-meta level provides basic integration operators to the system administrator to create integration options for specific domains. Based on semantic relationships between nodes of two business processes these integration options are executed and transform parts of the bu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Business Process Management Journal
سال: 2009
ISSN: 1463-7154
DOI: 10.1108/14637150910931479